Fix problem of can not create two or more vmx guest.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 21 Jul 2005 14:15:35 +0000 (14:15 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 21 Jul 2005 14:15:35 +0000 (14:15 +0000)
commiteadf155ee317140c416c3f7b07fa06f9688dc9fb
tree19d3a2dc979483b6811cbf988fc0eb2e8df6656b
parent448ea5b78e22ae25b0a2cdf1c2337fa6399c26ff
Fix problem of can not create two or more vmx guest.

The original gdb server patch will cause the new vmx guest break the=20
old one. This patch make the arch_set_guest_info modify the correct
vmcs and also skip modifying during  creating.

Signed-off-by: Xiaofeng Ling <xiaofeng.ling@intel.com>^
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
xen/arch/x86/domain.c
xen/arch/x86/vmx_io.c
xen/arch/x86/vmx_vmcs.c
xen/include/asm-x86/vmx.h
xen/include/asm-x86/vmx_vmcs.h